Automated deduction - CADE-11 : proceedings : Saratoga Springs, NY, USA, June 15-18, 1992
- Författare
- Deepak Kapur International Conference on Automated Deduction 1992) Saratoga Springs :
- (11th International Conference on Automated Deduction D. Kapur (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1992 | Tyskland, Berlin, New York | xv, 793 sidor. tab. |